Proof of program correctness
[计] 程序正确性证明
🧩 词语组成解析
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
[计] 正确性\\n[经] 正确性
🗣️ 情景例句
Seven?
七？
He who laughs at crooked men should need walk very straight.
正人先正己。
These satellites go round the earth and help us to learn more about the earth, the weather and other things.
这些卫星绕着地球转，帮助我们更好地了解地球、天气和其他情况。